literal types and union types